Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
181	Microsoft Word - Role16.doc Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2006-03-21 09:31:20 Software development Knowledge Formal methods Cybernetics System Systems science Abstraction Model checking Complexity Science Computing Programming paradigms
182	Where, Exactly, Is Software Development? Michael Jackson 101 Hamilton Terrace, London NW8 9QY, England Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2004-12-15 08:01:26 Abstraction Formal sciences Software requirements Formal methods System Computing Requirement Domain-specific language Logic Science Software development Knowledge
183	Product Line Engineering Solutions for Systems and Software Engineer your product line portfolio as a single production system rather Add to Reading List Source URL: www.biglever.com Language: English - Date: 2012-02-20 22:59:44 Information technology management Formal methods Product management Software engineering Product development Product family engineering Software development process Software product line IBM Rational Unified Process Software project management Business Technology
184	FACILE: DESCRIPTION OF THE NE SYSTEM USED FOR MUC-7 William J Black, Fabio Rinaldi and David Mowatt Department of Language Engineering UMIST PO Box 88, Sackville Street Manchester M60 1QD, United Kingdom Add to Reading List Source URL: www.itl.nist.gov Language: English - Date: 2001-01-11 13:44:49 Compiler construction Regular expressions Formal languages Parsing Natural language processing Lexical analysis Information extraction Pattern matching C preprocessor Computing Programming language implementation Software engineering
185	Zuech et al. Journal of Big Data:3 DOIs40537SURVEY PA PER Open Access Add to Reading List Source URL: www.journalofbigdata.com Language: English Computing Information technology management Computer security Formal sciences System administration Anomaly detection Data quality Data mining Intrusion prevention system Computer network security System software Intrusion detection systems
186	More about LEBEBO project LEBEBO – “Learn to become your boss”, complex of 13 study Modules, available on http:projekty.czu.cz reflects the fact that when bachelor graduates leave the formal education system a ver Add to Reading List Source URL: scas.acad.bg Language: English - Date: 2012-02-24 09:31:35 Education Entrepreneurship High school
187	Chapter for Lipari Software Engineering Seminar Book; sent to Egon BoergerTHE NAME AND NATURE OF SOFTWARE ENGINEERING DRAFT OF 29 JUNE 2008 Michael Jackson The Open University Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2008-06-29 12:37:00 Formal methods Formal sciences Abstraction Software requirements Systems engineering Formal specification Reason System Engineering Science Knowledge Ethology
188	Learning Procedures for Autonomic Computing Tessa Lau, Daniel Oblinger, Lawrence Bergman, and Vittorio Castelli IBM T.J. Watson Research Center P.O. Box 704 Yorktown Heights, NY 10598 Add to Reading List Source URL: tlau.org Language: English - Date: 2003-04-29 11:11:13 Operating system Formal methods Algorithm Mathematical logic Theoretical computer science
189	CITIZEN SCIENCE 298 The future of citizen science: emerging technologies and shifting paradigms Greg Newman1, Andrea Wiggins2, Alycia Crall1, Eric Graham3, Sarah Newman4, and Kevin Crowston5 Add to Reading List Source URL: www.monitoringmatters.org Language: English* - Date: 2012-08-20 01:37:12 E-Science Data analysis Formal sciences Cyberinfrastructure Citizen science Science education DataONE Zooniverse Geographic information system Science Technology Data management
190	SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS by Saurabh Srivastava 1 Revised Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-10-26 18:47:17 Formal methods Logic in computer science Electronic design automation Constraint programming Satisfiability Modulo Theories Reasoning system Formal verification Solver Algorithm Theoretical computer science Applied mathematics Mathematics

UPDATE